#include <stdio.h>

int main() {
    int i = 0;
    scanf("%d", &i);
    long j = 0;
    for (; i > 0; i--)
    {
        j += i;
    }
    printf("%ld", j);
    return 0;
}